GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>Raphael Robinson</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Raphael Robinson</span></h1>

</header>

</div>

<p><b>Raphael Mitchel Robinson</b> (* <a href="2._November" title="2. November">2. November</a> <a href="1911" title="1911">1911</a> in <a href="National_City" title="National City">National City</a>, <a href="Kalifornien" title="Kalifornien">Kalifornien</a>; † <a href="27._Januar" title="27. Januar">27. Januar</a> <a href="1995" title="1995">1995</a> in <a href="Berkeley" title="Berkeley">Berkeley</a>, Kalifornien) war ein <a href="Vereinigte_Staaten" title="Vereinigte Staaten">US-amerikanischer</a> mathematischer Logiker und <a href="Mathematiker" title="Mathematiker">Mathematiker</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Leben">Leben</h2></div>

<p>Raphael Robinson war das jüngste von vier Kindern einer Lehrerin und eines Anwalts, der die Familie aber früh verließ. Er studierte Mathematik an der <a href="University_of_California%2C_Berkeley" title="University of California, Berkeley">Universität Berkeley</a> mit dem <a href="Bachelor" title="Bachelor">Bachelor</a>-Abschluss 1932, dem <a href="Master" title="Master">Master</a>-Abschluss 1933 und der Promotion bei John McDonald ein Jahr später 1934 (Some results in the theory of schlicht functions).<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> In der damaligen <a href="Great_Depression" title="Great Depression">Depressionszeit</a> fand er nur eine schlecht bezahlte Stelle als Instructor an der <a href="Brown_University" title="Brown University">Brown University</a> und machte harte Zeiten durch. 1937 besserte sich seine Situation, als er Instructor in Berkeley wurde. Dort lernte er auch 1939 seine spätere Frau <a href="Julia_Robinson" title="Julia Robinson">Julia Robinson</a> kennen, die seine Studentin war und später eine angesehene Logikerin wurde. Im Dezember 1941 heirateten sie. Robinson blieb in Berkeley für den Rest seiner Karriere, wurde dort 1949 Professor. Er war als guter Lehrer bekannt, ging aber 1973 frühzeitig in den Ruhestand. Das bedeutete zwar einen herben finanziellen Verlust; er konnte sich aber nun ganz der Forschung widmen. Seine Frau starb 1985. Robinson blieb bis ins hohe Alter mathematisch aktiv und veröffentlichte noch mit 83 Jahren. Er starb nach einem Schlaganfall.

</p><p>1962 war er Invited Speaker auf dem <a href="Internationaler_Mathematikerkongress" title="Internationaler Mathematikerkongress">Internationalen Mathematikerkongress</a> in <a href="Stockholm" title="Stockholm">Stockholm</a> (<i>Intervals containing infinitely many sets of conjugate algebraic units</i>).

</p>

<p>Anfangs befasste er sich mit <a href="Funktionentheorie" title="Funktionentheorie">Funktionentheorie</a> und <a href="Zahlentheorie" title="Zahlentheorie">Zahlentheorie</a> und er gehörte nach dem <a href="Zweiter_Weltkrieg" title="Zweiter Weltkrieg">Zweiten Weltkrieg</a> zu denjenigen, die früh Computer für zahlentheoretische Zwecke einsetzten, so fand er einige neue <a href="Mersenne-Primzahl" class="mw-redirect" title="Mersenne-Primzahl">Mersenne-Primzahlen</a>.<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup> Er schrieb hierzu in seinem Büro, ohne den Computer jemals gesehen zu haben, ein lauffähiges Programm für den <a href="Liste_der_R%C3%B6hrencomputer" title="Liste der Röhrencomputer">SWAC (Standards Western Automatic Computer)</a>, das ohne Testung auf Anhieb fehlerfrei arbeitete.<sup id="cite_ref-3" class="reference"><a href="#cite_note-3"><span class="cite-bracket">[</span>3<span class="cite-bracket">]</span></a></sup>

</p><p>Robinson ist vor allem für Arbeiten in den <a href="Grundlagen_der_Mathematik" title="Grundlagen der Mathematik">Grundlagen der Mathematik</a> bekannt. 1937 veröffentlichte er eine vereinfachte Version von <a href="John_von_Neumann" title="John von Neumann">John von Neumanns</a> Axiomatisierung der Mengenlehre.<sup id="cite_ref-4" class="reference"><a href="#cite_note-4"><span class="cite-bracket">[</span>4<span class="cite-bracket">]</span></a></sup> Er befasste sich auch mit rekursiven Funktionen und rekursiv aufzählbaren Mengen.

</p><p>Er bewies die Unentscheidbarkeit einiger mathematischer Theorien und griff das Konzept der <i>wesentlichen Unentscheidbarkeit</i> von <a href="Alfred_Tarski" title="Alfred Tarski">Alfred Tarski</a> auf, der ab 1942 in Berkeley war und mit dem er ein Buch über Unentscheidbarkeit veröffentlichte. 1950 zeigte er, dass die <i><a href="Robinson-Arithmetik" title="Robinson-Arithmetik">Robinson-Arithmetik</a></i>, ein durch endlich viele Axiome darstellbarer Teil der <a href="Peano-Arithmetik" title="Peano-Arithmetik">Peano-Arithmetik</a> (ohne Induktion), <a href="Entscheidbar" class="mw-redirect" title="Entscheidbar">wesentlich unentscheidbar</a> ist.<sup id="cite_ref-5" class="reference"><a href="#cite_note-5"><span class="cite-bracket">[</span>5<span class="cite-bracket">]</span></a></sup> Er zeigte damit, dass wesentlich unentscheidbare Theorien keine unendliche Anzahl von Axiomen benötigen. In seinem Buch mit Tarski und Mostowski zeigte er die Unentscheidbarkeit weiterer mathematischer Theorien (Theorie der Verbände, <a href="Gruppentheorie" title="Gruppentheorie">Gruppentheorie</a>, projektive Geometrie). Robinson befasste sich später mit der Frage der Entscheidbarkeit von Parkettierungsproblemen, ein Problemkreis, den ursprünglich <a href="Hao_Wang_(Mathematiker)" title="Hao Wang (Mathematiker)">Hao Wang</a> initiierte.<sup id="cite_ref-6" class="reference"><a href="#cite_note-6"><span class="cite-bracket">[</span>6<span class="cite-bracket">]</span></a></sup>

</p><p>Seine Frau Julia Robinson war zwar auch Logikerin (sie promovierte bei Tarski) und arbeitete auf ähnlichen Gebieten, sie veröffentlichten aber nie zusammen.

</p>

<div class="mw-heading mw-heading2"><h2 id="Schriften">Schriften</h2></div>

<ul><li>Tarski, <a href="Andrzej_Mostowski" title="Andrzej Mostowski">Andrzej Mostowski</a>, Robinson: <i>Undecidable theories</i>, North Holland 1953</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li>John J. O’Connor, <a href="Edmund_Robertson" title="Edmund Robertson">Edmund F. Robertson</a>: <a rel="nofollow" class="external text" href="https://mathshistory.st-andrews.ac.uk/Biographies/Robinson_Raphael/"><i>Raphael Mitchel Robinson.</i></a> In: <span lang="en"><i><a href="MacTutor_History_of_Mathematics_archive" title="MacTutor History of Mathematics archive">MacTutor History of Mathematics archive</a></i></span> (englisch).</li>

<li><a rel="nofollow" class="external text" href="https://www.math.ucla.edu/~asl/bsl/0103-toc.htm">Leon Henkin <i>In Memoriam: Raphael Mitchel Robinson</i>, Bulletin of Symbolic Logic, Band 1, 1995, S. 340–343.</a></li>

<li><a rel="nofollow" class="external text" href="https://zbmath.org/authors/robinson.raphael-m">Raphael Mitchel Robinson</a> in der Datenbank <a href="ZbMATH" title="ZbMATH">zbMATH</a></li></ul>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://www.mathgenealogy.org/id.php?id=32194">Raphael Mitchel Robinson</a> im <a href="Mathematics_Genealogy_Project" title="Mathematics Genealogy Project">Mathematics Genealogy Project</a> (englisch) <span style="display:none">Vorlage:MathGenealogyProject/Wartung/id verwendetVorlage:MathGenealogyProject/Wartung/name verwendet</span></span>

</li>

<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Proc. American Mathematical Society 1954.</span>

</li>

<li id="cite_note-3"><span class="mw-cite-backlink"><a href="#cite_ref-3">↑</a></span> <span class="reference-text">Leo Corry: <a rel="nofollow" class="external text" href="https://www.tau.ac.il/~corry/publications/articles/pdf/Mersenne%20-%20Computers%20-%20Rutherford.pdf"><i>Hunting prime numbers from human to electronic computers.</i> (PDF-Datei; 545 kB)</a> S. 64.</span>

</li>

<li id="cite_note-4"><span class="mw-cite-backlink"><a href="#cite_ref-4">↑</a></span> <span class="reference-text">Robinson: <i>The theory of classes: a modification of von Neumann´s system.</i> Journal of Symbolic Logic, Band 2, 1937, S. 29–36.</span>

</li>

<li id="cite_note-5"><span class="mw-cite-backlink"><a href="#cite_ref-5">↑</a></span> <span class="reference-text">Robinson: <i>An essentially undecidable axiom system.</i> Proc. International Congress of Mathematicians, 1950, S. 729–730. Auch in dem Buch von 1953 mit Tarski und Mostowski dargestellt.</span>

</li>

<li id="cite_note-6"><span class="mw-cite-backlink"><a href="#cite_ref-6">↑</a></span> <span class="reference-text">Robinson: <a rel="nofollow" class="external text" href="https://gdz.sub.uni-goettingen.de/id/PPN356556735_0012"><i>Undecidability and non periodicity of tilings in the plane</i></a>, Inventiones Mathematicae, Band 12, 1971, S. 177–209. <a rel="nofollow" class="external text" href="https://gdz.sub.uni-goettingen.de/id/PPN356556735_0044"><i>Undecidable tiling problems in the hyperbolic plane</i></a>, Inventiones Mathematicae, Band 44, 1978, S. 259–264.</span>

</li>

</ol>

<div>

Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/1118871642">1118871642</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n88636278">n88636278</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/119628291/">119628291</a></span> | </div>

</div></div>

</div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-06-30" href="https://de.wikipedia.org/wiki/?title=Raphael_Robinson&oldid=257507381">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>